dans le grade d'ingénieur en chef des mines